Integrating AORTA with Model-Based Data Specification Languages
نویسندگان
چکیده
Abst rac t . AORTA has been proposed as an implementable real-time algebra for concurrent systems where event times, rather than values of data, are critical. In this paper we discuss an extension to AORTA to include a formal data model, allowing integration with a variety of modelbased data specification languages. An example is given using VDM with AORTA to define a time-critical system with important data attributes, and supporting software tools for AORTA and a simple imperative language are described.
منابع مشابه
Integrating a Declarative with an Imperative Model Transformation Language
By using a small, yet complex, case study as a model transformation language benchmark, advantages and limitations of several language paradigms can be identified. On the one hand, declarative languages only support the specification of constraints that need to be maintained by a transformation. This limitation enables engines to apply default transformation strategies for handling common cases...
متن کاملChallenges for Model-Integrating Components
Model-Integrating Software Components (MoCos) use models at runtime as first class entities within components to build flexible and adaptive software systems. Building such systems requires to design and implement the required domainspecific modeling languages. Insufficient design and realization of modeling languages raises the risk that they may not be optimized for their later use. Although ...
متن کاملSynthesizing Structured Analysis and Object-Oriented Specifications
Structured Analysis (SA) is a widely-used software development method. SA specifications are based on Data Flow Diagrams (DFD's), Data Dictionaries (DD's) and data transformation specifications (P-Specs). As used in practice, SA specifications are not formal. Seemingly orthogonal approaches to specifications are those using formal, object-oriented, model-based specification languages, e.g., VDM...
متن کاملA Formal Semantics and Axiomatization for Specifying the Dynamics of Knowledge-based Systems
We study the KADS specification languages KARL and (ML)2 in a states as algebras setting. The essence of these languages is that they integrate a declarative specification of inferences together with control information. Therefore, these languages can be used to specify the dynamic reasoning process of knowledge-based systems besides their pure input/output behavior. The departure of our discus...
متن کاملSlack-Based Measurement with Rough Data
Rough data envelopment analysis (RDEA) evaluates the performance of the decision making units (DMUs) under rough uncertainty assumption. In this paper, new discussion regarding RDEA is extended. The RSBM model is proposed by integrating SBM model and rough set theory. The process of reaching solution is presented and this model is applied to efficiency evaluation of the DMUs with uncertain ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998